81. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
82. Symbolic Algebraic Methods and Verification Methods
Author: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Mathematics.
Classification :
QA76
.
9
.
M35
E358
2001
83. Symbolic and algebraic computation
Author: / P. Gianni, ed
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Data processing -- Congresses,Algebra -- Data processing --Congresses
Classification :
QA
76
.
95
.
I57
1988
84. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
Author: P. Gianni, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
358
85. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: / P. Gianni, ed
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
Classification :
QA76
.
95
.
I57
1988
86. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
Classification :
QA
76
.
95
.
I57
1988
87. Symbolic and algebraic computation. International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: P. Gianni
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Mathematics, Data processing, Congresses,، Algebra, Data processing, Congresses
Classification :
QA
76
.
95
.
I68S96
1988
88. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: / P. Gianni, ed
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematics- Data processing- Congresses,Algebra- Data processing- Congresses
Classification :
QA76
.
95
.
I57
1988
89. The beauty of mathematics in computer science /
Author: Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
Classification :
QA76
.
9
.
M35
W84
2019
90. The joy of Mathematica
Author: Alan Shucat, Fred Shultz,Shuchat, Alan.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematica (Computer file),Mathematics,Data processing.
Classification :
QA76
.
95
.
S53
2000
91. Topics in nonlinear dynamics with computer algebra /
Author: Richard H. Rand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing,Dynamics-- Data processing,MACSYMA (Computer system),Nonlinear theories-- Data processing,Perturbation (Mathematics)-- Data processing
Classification :
QC133
.
R36
1994
